1. Computability and Logic
پدیدآورنده: / George S. Boolos
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع:
2. Computability and logic
پدیدآورنده: Boolos, George.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.
رده :
QA
9
.
59
.
B6C6
3. Computability and logic
پدیدآورنده: / George Boolos, Richard Jeffrey
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Recursive functions,Logic, symbolic and mathematical
رده :
511
.
3
B724c
4. Computability and logic
پدیدآورنده: George Boolos, Richard Jeffrey
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (اصفهان)
موضوع: Computable functions,Recursive functions
رده :
511
.
3
B724C
5. Computability and logic
پدیدآورنده: Boolos, George S., 0491-6991
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
6. Computability and logic
پدیدآورنده: Boolos, George S., 0491-6991
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
1989
7. Computability and logic
پدیدآورنده : Boolos, George
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and Mathematical
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
8. Logic, Logic and Logic
پدیدآورنده: / George Boolos,Boolos
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Arabic imprin%
رده :
BC
51
.
B58
1998
9. Logic, Logic, and logic
پدیدآورنده: Boolos, George S., 0491-6991
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic
رده :
BC
51
.
B6
10. Logic, logic, and logic /
پدیدآورنده: George Boolos ; with introductions and afterword by John P. Burgess ; edited by Richard Jeffrey.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic.
رده :
BC51
.
B58
1998
11. Logic, logic, and logic
پدیدآورنده: Boolos, George
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic
رده :
BC
51
.
B58
1998
12. Logic, logic, and logic
پدیدآورنده: Boolos, George.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Logic
رده :
BC51
.
B58
1998
13. Logic,logic,and logic
پدیدآورنده: Boolos, George
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
BC
51
.
B6
L6
1998
14. Logic, logic, and logic
پدیدآورنده: / George Boolos; with introductions and afterword by John P. Burgess; edited by Richard Jeffrey
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic
رده :
160
B724L
1998
15. Meaning and method :
پدیدآورنده: edited by George Boolos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Putnam, Hilary.,Putnam, Hilary.,Putnam, Hilary.,Putnam, Hilary.,Philosophy.,Philosophie.,Philosophie,Philosophie.,Philosophy.,Philosophy.,Sprachphilosophie
رده :
B29
.
M436
1990
16. Meaning and method :essays in honor of Hilary Putnam
پدیدآورنده: edited by George Boolos
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Putnam, Hilary,، Philosophy
رده :
B29
.
M436
1990
17. The logic of provability
پدیدآورنده: / George Boolos
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Modality (Logic),Proof theory.
رده :
BC
,
199
,.
M6
,
B65
,
1993
18. The logic of provability
پدیدآورنده: Boolos, George S., 0491-6991
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Modality )Logic(,، Proof theory
رده :
BC
199
.
M6B6
19. The unprovability of consistency : an essay in modal logic
پدیدآورنده: George Boolos,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Modality )Logic(,Proof theory
رده :
BC
.
M6B66
199
